Total Books: 1 - 2 /2
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Weiterlesen
Implementation and Application of Automata (vol. # 4094)
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Weiterlesen
Total Books: 1 - 2 /2
